University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
411	Height Difference Bounds For Elliptic Curves over Number Fields J. E. Cremona School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2006-06-26 05:45:45 Number theory Symbol Elliptic curve Néron–Tate height Algebraic number field XTR Abstract algebra Mathematics Algebra
412	Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona1 and Samir Siksek2 1 School of Mathematical Sciences, University of Nottingham, University Park, Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2006-06-26 05:45:47 Analytic number theory Elliptic curve Néron–Tate height Support Mathematics Number theory Group theory
413	The elliptic curve database to[removed]John Cremona University of Nottingham, UK ANTS 7: Berlin, 26 July 2006 1 Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2006-07-31 10:39:01 Algebraic geometry Elliptic curves Modular forms Group theory Modular elliptic curve Atkin–Lehner theory Supersingular elliptic curve Classical modular curve Mathematical analysis Abstract algebra Analytic number theory
414	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
415	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
416 $Linear algebra / Number theory / Stern–Brocot tree / Binary operations / Fractions / Euclidean algorithm / Matrix / Calkin–Wilf tree / Algorithm / Mathematics / Algebra / Continued fractions$	Recounting the Rationals: Twice! Roland Backhouse and João F. Ferreira∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, England {rcb,jff}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-04-08 06:03:05 Linear algebra Number theory Stern–Brocot tree Binary operations Fractions Euclidean algorithm Matrix Calkin–Wilf tree Algorithm Mathematics Algebra Continued fractions
417	The elliptic curve database for conductors to[removed]John Cremona School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7 2RD, UK. [removed] Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2006-07-31 09:42:40 Elliptic curves Analytic number theory Modular forms Group theory Conjectures Heegner point Modular elliptic curve Mwrank Birch and Swinnerton-Dyer conjecture Abstract algebra Mathematics Algebraic geometry
418	ALT LEARNING TECHNOLOGIST OF THE YEAR AWARD 2011 alt.ac.uk Registered charity number: [removed] Add to Reading List Source URL: repository.alt.ac.uk Language: English - Date: 2011-09-08 04:35:23 Oliver Quinlan E-learning Open educational resources Association for Learning Technology University of Nottingham Education Knowledge Joint Information Systems Committee
419	Designing an Algorithmic Proof of the Two-Squares Theorem Jo˜ao F. Ferreira? School of Computer Science University of Nottingham Nottingham NG8 1BB, England Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-01-21 03:21:58 Multiplication Inverse function Greatest common divisor Mathematics Euclidean algorithm Algorithm
420	The elliptic curve database to[removed]John Cremona University of Nottingham, UK ANTS 7: Berlin, 26 July 2006 1 Add to Reading List Source URL: homepages.warwick.ac.uk Language: English - Date: 2006-07-31 10:38:40 Algebraic geometry Elliptic curves Group theory Elliptic curve Supersingular elliptic curve Modular form Isogeny Polynomial Abstract algebra Mathematical analysis Analytic number theory

UPDATE